Nuprl Definition : dsys
0,22
postcript
pdf
Dsys == Id
MsgA
latex
clarification:
dsys{i:l} == Id
msga{i:l}
latex
Definitions
x
:
A
B
(
x
)
,
Id
,
MsgA
FDL editor aliases
dsys
origin